Extended Virtual Synchrony
نویسندگان
چکیده
We formulate a model of extended virtual synchrony that deenes a group communication transport service for multicast and broadcast communication in a distributed system. The model extends the virtual synchrony model of the Isis system to support continued operation in all components of a partitioned network. The signiicance of extended virtual synchrony is that, during network partitioning and remerging and during process failure and recovery , it maintains a consistent relationship between the delivery of messages and the delivery of conngu-ration changes across all processes in the system and provides well-deened self-delivery and failure atomic-ity properties. We describe an algorithm that implements extended virtual synchrony and construct a l-ter that reduces extended virtual synchrony to virtual synchrony.
منابع مشابه
Partitionable Virtual Synchrony Using Extended Virtual Synchrony
View-oriented group communication systems (GCSs) are powerful tools for building distributed applications. Over the past fifteen years, group communication researchers developed a multitude of group communication semantics and implementations. Today, researchers commonly design their group communication algorithms on top of simple existing services such as a network membership service or a reli...
متن کاملExtending Virtual Synchrony with Persistency
The virtually synchronous execution model provides an appropriate support for developing distributed applications, assuming a crash failure model. Synchronization points are only set when a view change arises, guaranteeing an efficient execution of such reliable applications. Its programming model is similar to that of a centralized application, but not identical. However, a crash model is not ...
متن کاملStrong and Weak Virtual Synchrony in Horus
A formal de nition of strong virtual synchrony capturing the semantics of virtual syn chrony as implemented in Horus is presented This de nition has the nice property that every message is delivered within the view in which it was sent However it is shown that in order to implement strong virtual synchrony the application program has to block messages during view changes An alternative de nitio...
متن کاملPersistent Logical Synchrony
The virtually synchronous execution model provides an appropriate support for developing reliable applications when the crash failure model is being assumed. Using it, group broadcasts only need to be based on asynchronous communication; i.e., the sender does not need to wait for any answer or acknowledgment in order to go on with its tasks. Synchronization points are set when a view change ari...
متن کاملTransaction Model vs. Virtual Synchrony Model: Bridging the Gap
Two important models for building fault-tolerant applications have been independently proposed in the literature, the transaction model (developed within the context of database applications) and the virtual synchrony model (proposed initially by the Isis system to handle replication). For a better understanding of the relations between these models, we address the following question: are the b...
متن کامل